противоречивое множество дизъюнктов

adj

electr. nicht erfüllbare Klauselmenge